From: Julien Grall <julien.grall@linaro.org>
Date: Wed, 26 Mar 2014 14:33:01 +0000 (+0100)
Subject: xsm: flask: flask_disable is only used internally
X-Git-Tag: archive/raspbian/4.8.0-1+rpi1~1^2~5345
X-Git-Url: https://dgit.raspbian.org/%22http:/www.example.com/cgi/%22https:/%22bookmarks:/%22man:///%22http:/www.example.com/cgi/%22https:/%22bookmarks:/%22man:/?a=commitdiff_plain;h=1e2f150c16e1ab954eb7c384e2d905f1d62209af;p=xen.git

xsm: flask: flask_disable is only used internally

Signed-off-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Daniel De Graaf <dgdegra@tycho.nsa.gov>
---

diff --git a/xen/xsm/flask/flask_op.c b/xen/xsm/flask/flask_op.c
index 85a615bdc3..7743aac7a6 100644
--- a/xen/xsm/flask/flask_op.c
+++ b/xen/xsm/flask/flask_op.c
@@ -272,7 +272,7 @@ static int flask_security_sid(struct xen_flask_sid_context *arg)
 
 #ifndef COMPAT
 
-int flask_disable(void)
+static int flask_disable(void)
 {
     static int flask_disabled = 0;